Verification, Type-level Programming, Safety Proofs, Linear Types
Sets & Heaps in Haskell and Rust
mmhaskell.com·13h
Song recommendations with F# free monads
blog.ploeh.dk·15h
FLINT: Fast Library for Number Theory
flintlib.org·3h
Learning Through Doing: From one language to another
blog.scottlogic.com·3d
OpenBSD Hackathon Leipzig 2025: Qt6 Fixes, KDE PIM, and C++26 Updates
discoverbsd.com·14h
Loading...Loading more...